Evaluating and Debugging OCL Expressions in UML Models
نویسندگان
چکیده
This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation preand postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and debug the validity of an expected theorem (an OCL constraint) within a given test case (a state model in the form of a UML object diagram).
منابع مشابه
Tool-Supported Step-By-Step Debugging for the Object Constraint Language
Although originally designed as an extension for the Uni ed Modeling Language (UML), the Object Constraint Language (OCL) has been broadly adopted in the context of UML as well as other modeling and domain-speci c languages. However, appropriate tooling, supporting software developers on using OCL is still scarce and lacks debugging support. As OCL constraints are likely to become rather comple...
متن کاملOn the Semantics of Object-Oriented Data Structures and Path Expressions
UML/OCL is perceived as the de-facto standard for specifying object-oriented models in general and data models in particular. Since recently, all data types of UML/OCL comprise two different exception elements: invalid (“bottom” in semantics terminology) and null (for “non-existing element”). This has far-reaching consequences on both the logical and algebraic properties of OCL expressions as w...
متن کاملOn Querying UML Data Models with OCL
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by databases and query languages. UML sustains many aspects of software engineering; however, it does not provide explicit facility for writing queries. It is crucial for any such query language to have, at least, the expres...
متن کاملPOUR PDF - copie 2
UML/OCL is perceived as the de-facto standard for specifying object-oriented models in general and data models in particular. Since recently, all data types of UML/OCL comprise two different exception elements: invalid (“bottom” in semantics terminology) and null (for “non-existing element”). This has far-reaching consequences on both the logical and algebraic properties of OCL expressions as w...
متن کاملAutomatic Test Case Generation from UML Models and OCL Expressions
In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.
متن کامل